Compaq Computer Corporation - PDFSEARCH.IO - Document Search Engine

Compaq Computer Corporation
Results: 47

#	Item
41	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
42	Software Product Description PRODUCT NAME: Compaq OpenVMS Operating System for Alpha and VAX, Versions 7.2, 7.2-1, 7.2-1H1, and[removed]SPD[removed] Add to Reading List Source URL: h18000.www1.hp.com Language: English - Date: 2004-01-01 17:25:08 OpenVMS Hewlett-Packard Cluster computing Instruction set architectures VAX DIGITAL Command Language VMScluster Asynchronous System Trap DECnet Computing Computer architecture Digital Equipment Corporation
43	Performance Brief May 2000 12KT-0500A-WWEN Prepared by Business Critical Servers Compaq Computer Corporation Add to Reading List Source URL: www.compaq.com Language: English - Date: 2000-05-15 19:57:04 Benchmark SPECint Standard Performance Evaluation Corporation IGen DEC Alpha SPECfp FLOPS Transaction Processing Performance Council Central processing unit Computing Computer hardware Computer performance
44	PsychSoft, Inc. P.O. Box 232 North Quincy, MA[removed]8733 PsychSoft’s Systems Vendor Partners Desktop Computers Acer Acer Open ALR American Megatrends (AMI) Antec AST Computer Axil Computer Add to Reading List Source URL: www.psych-soft.com Language: English - Date: 2004-12-30 14:01:09 3Com Hewlett-Packard Compaq Acer Inc. Accton Technology Corporation Phoenix Technologies Digital Equipment Corporation Influence of the IBM PC on the personal computer market Wireless LAN Interoperability Forum Computing Computer hardware Technology
45	Serialized IRQ Support for PCI Systems Compaq Computer Corporation Cirrus Logic Incorporated Add to Reading List Source URL: hackipedia.org Language: English - Date: 2013-03-21 12:42:23 Computer buses Computing Integrated circuits Intel Interrupt request Conventional PCI Interrupt Computer architecture Interrupts IBM PC compatibles
46	The Alpha[removed]Microprocessor Architecture R. E. Kessler, E. J. McLellan1, and D. A. Webb Compaq Computer Corporation Add to Reading List Source URL: h18004.www1.hp.com Language: English - Date: 1999-11-05 17:26:28 Central processing unit Alpha 21264 CPU cache Branch predictor Microarchitecture Register renaming Instruction pipeline Alpha 21164 Superscalar Computer architecture Computer hardware Computer engineering
47	Compaq Computer Corporation Phoenix Technologies Ltd. Intel Corporation Add to Reading List Source URL: www.phoenix.com Language: English - Date: 2013-10-09 07:28:53 Booting Computer buses IBM PC compatibles Motherboard Power-on self-test Option ROM Parallel ATA Boot sector Personal computer hardware Computer hardware BIOS Computing

UPDATE